Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
931	SATISFIABILITY GAMES FOR BRANCHING-TIME LOGICS OLIVER FRIEDMANN, MARKUS LATTE, AND MARTIN LANGE e-mail address: {oliver.friedmann, markus.latte}@ifi.lmu.de Department of Computer Science, Ludwig-Maximilians-University Mu Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-08-22 12:16:49 Model theory Metalogic Logic in computer science Formal languages Temporal logic Well-formed formula First-order logic Symbol Satisfiability Logic Mathematical logic Theoretical computer science
932	Mathematics Interim Assessment Blocks Blueprint VThe following tables summarize the Interim Assessment Blocks available at each grade level. Specific information on each block follows these tables. Add to Reading List Source URL: www.smarterbalanced.org Language: English - Date: 2015-02-11 17:43:04 Educational psychology Problem solving Economic model Mathematical model Function Diagram Conceptual model Logic Mathematics Ethology Thought
933	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
934	Constructive Mathematics and Functional Programming Thierry Coquand Budapest, April 1, 2008 Constructive Mathematics and Functional Programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2009-06-09 09:06:02 Mathematical logic Intuitionism Epistemology Philosophy of mathematics Logic in computer science Constructivism Constructive proof Constructive analysis Intuitionistic logic Mathematics Mathematical constructivism Logic
935	Verifying Safety Properties using Separation and Heterogeneous Abstractions Eran Yahav∗ G. Ramalingam Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-25 07:36:40 Predicate logic Formal methods Logic in computer science Systems engineering First-order logic Model theory Java Database Connectivity Abstraction Formal verification Logic Mathematical logic Mathematics
936	Numerical Subdivision Methods in Motion Planning Yi-Jen Chiang and Chee Yap KEY: Abstract— We propose to design new algorithms for motion Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 07:00:03 Applied mathematics Motion planning Closed and exact differential forms Algorithm Constructible universe Ordinal number Theoretical computer science Mathematics Mathematical logic
937	Editorial: Special issue on non-classical mathematics The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or Add to Reading List Source URL: consequently.org Language: English Paraconsistent logic Intuitionism Intuitionistic logic Classical logic Many-valued logic Fuzzy logic Proof theory Modal logic Truth value Logic Mathematical logic Non-classical logic
938	Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gr´egoire1,3 Santiago Zanella1,3 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Function XTR Computability theory Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Functions and mappings
939	Nature of Mathematical Reasoning: Spring 2013 Time & Location: Monday, Wednesday 11:30 – 12:20 PM PH A22 Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:55 Mathematical logic Education reform Homework Standards-based education Philosophy of mathematics Mathematical proof Plagiarism Reason If and only if Knowledge Mathematics Logic